Craig Redpony Wanner

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Craig Interpolation via Hypersequents

In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.

Craig Alan Feinstein

The question of whether the class of decision problems that can be solved by deterministic polynomial-time algorithms (P ) is equal to the class of decision problems that can be solved by nondeterministic polynomial-time algorithms (NP) has been open since it was first formulated by Cook, Karp, and Levin in 1971. In this paper, we prove that they are not equal by showing that any algorithm that...

Jake Timothy Craig Winter

1 Gilad G, Gilad V. Polyamines in neurotrauma. Ubiquitous molecules in search of a function. Biochem Phannacol 1992;44:401-7. 2 Shohami E, Nates JL, Glantz L, et al. Changes in brain polyamine concentrations following head injury. Exp Neurol 1992;117:189-95. 3 Koski P, Helander IM, Sarvas M, Vaara M. Analysis of polyamines as their dabsyl derivatives by reversed phase high performance liquid ch...